<?php
function xxx()
{
	echo '12345';
}